closed linear subspace

[数] 闭线性子空间